Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters Matthew Hague1,2 and Anthony W. Lin2 1 LIGM (Universit´e Paris-Est), LIAFA (Universit´e Paris Diderot) & CNRS

Source URL: www.cs.rhul.ac.uk

Unboundedness and Downward Closures of Higher-Order Pushdown Automata Matthew Hague1 , Jonathan Kochems2 and C.-H. Luke Ong2 2 1

Source URL: www.cs.rhul.ac.uk

Strongly Incremental Repair Detection Matthew Purver2 Julian Hough1,2 2 Cognitive Science Research Group Dialogue Systems Group

Source URL: emnlp2014.org

Characterising Testing Preorders for Broadcasting Distributed Systems? Andrea Cerone1 and Matthew Hennessy2 1 IMDEA Software Institute, 2 Trinity College Dublin

Source URL: www.cs.le.ac.uk

AN OVERVIEW OF THE CLOUD-AEROSOL TRANSPORT SYSTEM (CATS) PROCESSING ALGORITHMS AND DATA PRODUCTS John E. Yorks1,2*, Matthew J. McGill2, Stephen P. Palm1,2, Dennis L. Hlavka1,2, Patrick A. Selmer1,2, Edward P. Nowottnick2

Source URL: cats.gsfc.nasa.gov

• Spacecraft
• Earth observation satellites
• Earth
• Spaceflight
• Lidar
• Robotic sensing
• CALIPSO
• ICESat
• Aerosol
• Kibo
• Remote sensing

Multi-Modality Imaging (PET, CLI) of a PSMA-Targeted Cys-Diabody in Tumor-Bearing Mice Harvey Hensley1, Mohan Doss1, Jian Q. Yu1, Derek Bartlett2, Matthew K. Robinson1 1Fox Chase Cancer Center, Philadelphia, PA; 2 Imagin

Source URL: www.imaginab.com

• Medicine
• Neuroscience
• Clinical medicine
• Neuroimaging
• Medical physics
• Positron emission tomography
• PC3
• Glutamate carboxypeptidase II
• Prostate cancer
• Biodistribution
• PET-CT
• Single-photon emission computed tomography

Journal of Ecology 2014, 102, 1266–1272 doi: How much of the world is woody? Richard G. FitzJohn1,2†, Matthew W. Pennell3,4*†, Amy E. Zanne5,6, Peter F. Stevens7,8,

Source URL: mwpennell.github.io

Review Teosinte as a model system for population and ecological genomics Matthew B. Hufford1, Paul Bilinski1, Tanja Pyha¨ja¨rvi1*, and Jeffrey Ross-Ibarra1,2 1

Source URL: www.rilab.org

REPORTS Traces of Human Migrations in Helicobacter pylori Populations Daniel Falush,1 Thierry Wirth,1 Bodo Linz,1 Jonathan K. Pritchard,2 Matthew Stephens,3 Mark Kidd,4

Source URL: pritchardlab.stanford.edu

A Next-Gen Sequencing Software Workflow for Gene Panel Validation Control Matthew Keyser1, Kerri Phillips1, Timothy Durfee PhD1,2, Jacqueline Carville1, Thomas Schwei1, Amber Pollack-Berti PhD1, Daniel Nash1, Jennifer St

Source URL: www.dnastar.com